| Name | Version | Summary | date |
| model-checker |
0.5.12 |
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. |
2024-12-21 23:31:59 |
| janus-swi |
1.5.1 |
Janus library to call SWI-Prolog |
2024-12-18 13:01:41 |
| dep-logic |
0.4.10 |
Python dependency specifications supporting logical operations |
2024-12-13 11:04:44 |
| aigverse |
0.0.13 |
A Python library for working with logic networks, synthesis, and optimization. |
2024-12-04 15:53:34 |
| pydantic-logic |
1.0.1 |
Description |
2024-11-26 14:57:34 |
| little-atf-programmer |
2024.1019 |
Little ATF150x Programmer Board utility programs |
2024-11-23 10:50:33 |
| ntqr |
0.4.2.3 |
Tools for the logic of evaluation using unlabeled data |
2024-10-31 13:59:07 |
| balg |
0.0.6 |
A boolean algebra toolkit to evaluate expressions, truth tables, and produce logic diagrams |
2024-09-08 18:19:13 |
| pyfuzzymind |
0.1.1 |
A Python library for implementing fuzzy logic systems, including fuzzy sets, fuzzy rules, inference engines, and various defuzzification methods. |
2024-08-08 16:07:59 |
| amr-logic-converter |
0.11.3 |
Convert Abstract Meaning Representation (AMR) into first-order logic |
2024-08-07 22:42:28 |
| lcrl |
0.0.9.2 |
Logically-Constrained Reinforcement Learning |
2024-07-22 22:29:32 |
| veribool |
0.0.0 |
Verify various properties of boolean expressions using a concise DSL. |
2024-07-22 07:32:14 |
| simple-switch |
0.2.0 |
A simple and flexible switch statement implementation for Python. |
2024-05-16 08:34:14 |
| json-criteria |
0.2.0 |
Python library designed for evaluating data against serializable JSON criteria |
2024-04-28 03:40:04 |
| schemdraw |
0.19 |
Electrical circuit schematic drawing |
2024-04-27 20:39:30 |